The anticipated social capabilities of robots may allow them to serve in authority roles as part of human-machine teams. To date, it is unclear if, and to what extent, human team members will comply with requests from their robotic teammates, and how such compliance compares to requests from human teammates. This research examined how the human-likeness and physical embodiment of a robot affect compliance to a robot's request to perseverate utilizing a novel task paradigm. Across a set of two studies, (...) participants performed a visual search task while receiving ambiguous performance feedback. Compliance was evaluated when the participant requested to stop the task and the coach urged the participant to keep practicing multiple times. In the first study, the coach was either physically co-located with the participant or located remotely via a live-video. Coach type varied in human-likeness and included either a real human, a Nao robot, or a modified Roomba robot. The second study expanded on the first by including a Baxter robot as a coach and replicated the findings in a different sample population with a strict chain of command culture. Results from both studies showed that participants comply with the requests of a robot for up to 11 min. Compliance is less than to a human and embodiment and human-likeness on had weak effects on compliance. (shrink)

Mainstream and Formal Epistemology provides the first, easily accessible, yet erudite and original analysis of the meeting point between mainstream and formal theories of knowledge. These two strands of thinking have traditionally proceeded in isolation from one another, but in this book, Vincent F. Hendricks brings them together for a systematic comparative treatment. He demonstrates how mainstream and formal epistemology may significantly benefit from one another, paving the way for a new unifying program of 'plethoric' epistemology. His book will (...) both define and further the debate between philosophers from two very different sides of the epistemological spectrum. (shrink)

This open access book looks at how a democracy can devolve into a post-factual state. The media is being flooded by populist narratives, fake news, conspiracy theories and make-believe. Misinformation is turning into a challenge for all of us, whether politicians, journalists, or citizens. In the age of information, attention is a prime asset and may be converted into money, power, and influence – sometimes at the cost of facts. The point is to obtain exposure on the air and in (...) print media, and to generate traffic on social media platforms. With information in abundance and attention scarce, the competition is ever fiercer with truth all too often becoming the first victim. Reality Lost: Markets of Attention, Misinformation and Manipulation is an analysis by philosophers Vincent F. Hendricks and Mads Vestergaard of the nuts and bolts of the information market, the attention economy and media eco-system which may pave way to postfactual democracy. Here misleading narratives become the basis for political opinion formation, debate, and legislation. To curb this development and the threat it poses to democratic deliberation, political self-determination and freedom, it is necessary that we first grasp the mechanisms and structural conditions that cause it. (shrink)

This book will be a rewarding reading for everybody who is interested in logical aspects of scientific knowledge acquisition. The presentation of the issues discussed in the book is exemplary. The author was able to present in parallel way three different perspectives under which the issues discussed in the book might be approached.

The purpose of this survey is twofold: (1) to place some centralthemes of epistemic logic in a general epistemological context,and (2) to outline a new framework for epistemic logic developedjointly with S. Andur Pedersen unifying some key ``mainstream''epistemological concerns with the ``formal'' epistemologicalapparatus.

Henri J. Renard, S. J.: a sketch, by J. P. Jelinek.--The good as undefinable, by M. Childress.--Gottlieb Söhngen's sacramental doctrine on the mass, by J. F. Clarkson.--Christ's eucharistic action and history, by B. J. Cooke.--Objective reality of human ideas: Descartes and Suarez, by T. J. Cronin.--A medieval commentator on some Aristotelian educational themes, by J. W. Donohue.--God as sole cause of existence, by M. Holloway.--Knowledge, commitment, and the real, by R. O. Johann.--John Locke and sense realism, by H. R. Klocker.--The (...) being of nonbeing in Plato's Sophist, by Q. Lauer.--Ethics and verification, by R. McInerny.--Analogy and the fourth way, by J. J. O'Brien.--Love and being, by W. L. Rossner.--Complexity in human knowledge: its basis in form/matter composition, by E. L. Rousseau.--Toward a more dynamic understanding of substance and relation, by J. M. Somerville.--The origin of participant and of participated perfections in Proclus' Elements of theology, by L. Sweeney. (shrink)

Epistemic logic begins with the recognition that our everyday talk about knowing and believing has some systematic features that we can track and re‡ect upon. Epistemic logicians have studied and extended these glints of systematic structure in fascinating and important ways since the early 1960s. However, for one reason or another, mainstream epistemologists have shown little interest. It is striking to contrast the marginal role of epistemic logic in contemporary epistemology with the centrality of modal logic for metaphysicians. This article (...) is intended to help in correcting this oversight by presenting some important developments in epistemic logic and suggesting ways to understand their applicability to traditional epistemological problems. Obviously, by itself, tweaking the formal apparatus of epistemic logic does not solve traditional epistemological problems. Epistemic logic can help us to navigate through problems in a systematic fashion by unpacking the logic of the problematic concepts, it can also lead us to recognize problems that we had not anticipated. This is basically analogous to the role that modal logic has played in contemporary metaphysics. (shrink)

This book focuses on the problem of religious diversity, civil dialogue, and religion education in public schools, exploring the ways in which atheists, secularists, fundamentalists, and mainstream religionists come together in the public sphere, examining how civil discourse about religion fit swithin the ideals of the American political and pedagogical systems and how religious studies education can help to foster civility and toleration.

The aim of this thematically unified anthology is to track the history of epistemic logic, to consider some important applications of these logics of knowledge and belief in a variety of fields, and finally to discuss future directions of research with particular emphasis on 'active agenthood' and multi-modal systems. It is accessible to researchers and graduate students in philosophy, computer science, game theory, economics and related disciplines utilizing the means and methods of epistemic logic.

John Henry Newman's criticism of contemporary movements of thought and of education show him to be a nineteenth-century disciple of the Alexandrian Fathers of the Church.

Skeptics argue that the acquisition of knowledge is impossible given the standing possibility of error. We present the limiting convergence strategy for responding to skepticism and discuss the relationship between conceivable error and an agent’s knowledge in the limit. We argue that the skeptic must demonstrate that agents are operating with a bad method or are in an epistemically cursed world. Such demonstration involves a significant step beyond conceivability and commits the skeptic to potentially convergent inquiry.

Abstract: Pluralistic ignorance is a nasty informational phenomenon widely studied in social psychology and theoretical economics. It revolves around conditions under which it is "legitimate" for everyone to remain ignorant. In formal epistemology there is enough machinery to model and resolve situations in which pluralistic ignorance may arise. Here is a simple first stab at recovering from pluralistic ignorance by means of knowledge transmissibility.

Formal Philosophy is a collection of short interviews based on 5 questions presented tosome of the most influential and prominent scholars in formal philosophy.

Epistemic Logic: 5 Questions is a collection of short interviews based on 5 questions presented to some of the most influential and prominent scholars in the field. We hear their views on the field, the aim, the scopes, the future direction of research and how their work fits in these respects.

Pluralistic ignorance is a nasty informational phenomenon studied widely in social psychology and theoretical economics. It revolves around conditions under which it is "legitimate" for everyone to remain ignorant. In formal epistemology there is enough machinery to model and resolve situations in which pluralististic ignorance may arise. Here is a simple …rst stab at recovering from pluralistic ignorance by means of knowledge transmissibility.

Contemporary epistemologists are roughly divided into those relying largely on common-sense considerations and focusing on examples and counterexamples for advancing or rejecting various epistemological theses, and those applying a variety of tools and methods from logic, computability theory or probability theory to the theory of knowledge. The two sorts, and the traditions to which they hitherto are taken to belong, have unfortunately proceeded largely in isolation from one another. But on closer examination the approaches have much in common, may be (...) bridged for their mutual benefit and the advancement of epistemology in general. Here are 7 ways of doing it as the invited papers in this special issue of Philosophical Studies demonstrate the fruitful interaction between informal considerations and various formal apparata in order to support, sharpen, undermine, realize, or contribute in some other pertinent way to fundamental epistemological themes. (shrink)

The volume includes the proceedings from the conference FOL75 -- 75 Years of First-Order Logic held at Humboldt University, Berlin, September 18 - 21, 2003 on the occasion of the anniversary of the publication of Hilbert's and Ackermann's Grundzuge der theoretischen Logik. The papers provide analyses of the historical conditions of the shaping of FOL, discuss several modern rivals to it, and show the importance of FOL for interdisciplinary research. While there is no doubt that the celebrated book marks a (...) most important step in the development of logic, the volume in hand proves the actuality of the question "Which logic is the right logic." The volume contains articles by: H. Andreka, J. X. Madarasz, I. Nemeti, A. Avron, K. Brunnler, A. Guglielmi, G. Englebretsen, W. Ewald, P. Hajek, J. Hintikka, W. Hodges, M. Kracht, R. Lanzet, H. Ben-Yami, C. Toke, S. P. Odintsov, H. Wansing, J. A. Robinson, M. Rossberg, M. Thielscher, D. E. Willard, andJ. Wole 'nski. (shrink)

The information society is upon us. New technologies have given us back pocket libraries, online discussion forums, blogs, crowdbased opinion aggregators, social media and breaking news wherever, whenever. But are we more enlightened and rational because of it? With points of departure in philosophy, logic, social psychology, economics, and choice and game theory, Infostorms shows how information may be used to improve the quality of personal decisions and group thinking but also warns against the informatonal pitfalls which modern information technology (...) may amplify: From science to reality culture and what it really is, that makes you buy a book like this. "With this brilliant book, we have been warned. It is up to all of us in the world today to be stewards of the common resource that is trustworthy and relevant information". Adam Brandenburger, Stern School of Business, NYU "It is a highly recommended read for social scientists and concerned citizens alike". Christian List, London School of Economic. (shrink)

This chapter contains sections titled: Pluralistic Ignorance Modal Operator Epistemology Agents and Inquiry Methods Multimodal Systems Knowledge Transmissibility Knowledge Transmissibility and Public Announcement Knowledge Transmissibility and Pluralistic Ignorance References.

Masses of Formal Philosophy is an outgrowth of Formal Philosophy. That book gathered the responses of some of the most prominent formal philosophers to five relatively open and broad questions initiating a discussion of metaphilosophical themes and problems surrounding the use of formal methods in philosophy. Including contributions from a wide range of philosophers, Masses of Formal Philosophy contains important new responses to the original five questions.

hiS volume in the Synthese Library Series is the result of a conference T held at the University of Roskilde, Denmark, October 31st-November 1st, 1997. The aim was to provide a forum within which philosophers, math ematicians, logicians and historians of mathematics could exchange ideas pertaining to the historical and philosophical development of proof theory. Hence the conference was called Proof Theory: History and Philosophical Significance. To quote from the conference abstract: Proof theory was developed as part of Hilberts Programme. (...) According to Hilberts Programme one could provide mathematics with a firm and se cure foundation by formalizing all of mathematics and subsequently prove consistency of these formal systems by finitistic means. Hence proof theory was developed as a formal tool through which this goal should be fulfilled. It is well known that Hilbert's Programme in its original form was unfeasible mainly due to Gtldel's incompleteness theorems. Additionally it proved impossible to formalize all of mathematics and impossible to even prove the consistency of relatively simple formalized fragments of mathematics by finitistic methods. In spite of these problems, Gentzen showed that by extending Hilbert's proof theory it would be possible to prove the consistency of interesting formal systems, perhaps not by finitis tic methods but still by methods of minimal strength. This generalization of Hilbert's original programme has fueled modern proof theory which is a rich part of mathematical logic with many significant implications for the philosophy of mathematics. (shrink)

This book sheds light on some recent discussions of the problems in probability theory and their history, analysing their philosophical and mathematical significance, and the role pf mathematical probability theory in other sciences.

Epistemic logic proceeds axiomatically. ”An agent knows that A” is formalized as a modal operator in a formal language which is interpreted using the standard apparatus of modal logic.

A view among methodologists is that truth and convergence are related in such a way that scienti…c theories in their historical order of appearance contribute to the convergence to an ultimate ideal theory. It is not a fact that science develops accordingly but rather a hypothetical thought experiment to explain why science develops at all. Here, a simple formal model is presented for scrutinizing the relations between two truths and convergence.

In 1953, exactly 50 years ago to this day, the first volume of Studia Logica appeared under the auspices of The Philosophical Committee of The Polish Academy of Sciences. Now, five decades later the present volume is dedicated to a celebration of this 50th Anniversary of Studia Logica. The volume features a series of papers by distinguished scholars reflecting both the aim and scope of this journal for symbolic logic.

'Possible worlds' have been one of the true conundrum notions in philosophy. On the hand possible worlds have proved very useful in philosophical logic for obtaining significant formal results with sunbstantial philosophical import. Yet on the other they have generated much noise and commotion in especially metaphysics and epistemology. From a logical point of view they are useful tools or conceptual constructions, from a philosophical point of view troublesome entitites generating endless discussions.

This volume presents 38 classic texts in formal epistemology, and strengthens the ties between research into this area of philosophy and its neighbouring intellectual disciplines. The editors provide introductions to five subsections: Bayesian Epistemology, Belief Change, Decision Theory, Interactive Epistemology and Epistemic Logic. 'Formal epistemology' is a term coined in the late 1990s for a new constellation of interests in philosophy, the origins of which are found in earlier works of epistemologists, philosophers of science and logicians. It addresses a growing (...) agenda of problems concerning knowledge, belief, certainty, rationality, deliberation, decision, strategy, action and agent interaction - and it does so using methods from logic, probability, computability, decision and game theory. The volume also includes a thorough index and suggestions for further reading, and thus offers a complete teaching and research package for students as well as research scholars of formal epistemology, philosophy, logic, computer science, theoretical economics and cognitive psychology. (shrink)